Theory of Optimal Control Using Bisimulations
نویسندگان
چکیده
We consider the synthesis of optimal controls for continuous feedback systems by recasting the problem to a hybrid optimal control problem: to synthesize optimal enabling conditions for switching between locations in which the control is constant. An algorithmic solution is obtained by translating the hybrid automaton to a finite automaton using a bisimulation and formulating a dynamic programming problem with extra conditions to ensure non-Zenoness of trajectories. We show that the discrete value function converges to the viscosity solution of the Hamilton-Jacobi-Bellman equation as a discretization parameter tends to zero.
منابع مشابه
Inverse Kinematics Resolution of Redundant Cooperative Manipulators Using Optimal Control Theory
The optimal path planning of cooperative manipulators is studied in the present research. Optimal Control Theory is employed to calculate the optimal path of each joint choosing an appropriate index of the system to be minimized and taking the kinematics equations as the constraints. The formulation has been derived using Pontryagin Minimum Principle and results in a Two Point Boundary Value Pr...
متن کاملOptimal Control Using Bisimulations: Implementation
We consider the synthesis of optimal controls for continuous feedback systems by recasting the problem to a hybrid optimal control problem which is to synthesize optimal enabling conditions for switching between locations in which the control is constant. We provide a singlepass algorithm to solve the dynamic programming problem that arises, with added constraints to ensure non-Zeno trajectories.
متن کاملInverse Kinematics Resolution of Redundant Cooperative Manipulators Using Optimal Control Theory
The optimal path planning of cooperative manipulators is studied in the present research. Optimal Control Theory is employed to calculate the optimal path of each joint choosing an appropriate index of the system to be minimized and taking the kinematics equations as the constraints. The formulation has been derived using Pontryagin Minimum Principle and results in a Two Point Boundary Value Pr...
متن کاملControl Theory and Economic Policy Optimization: The Origin, Achievements and the Fading Optimism from a Historical Standpoint
Economists were interested in economic stabilization policies as early as the 1930’s but the formal applications of stability theory from the classical control theory to economic analysis appeared in the early 1950’s when a number of control engineers actively collaborated with economists on economic stability and feedback mechanisms. The theory of optimal control resulting from the contributio...
متن کاملBisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems
In this paper, we investigate pre-orders for reasoning about input-to-state stability properties of hybrid systems. We define the notions of uniformly continuous input simulations and bisimulations, which extend the notions in previous work to include inputs. We show that uniformly continuous input bisimulations preserve incremental input-to-state stability of hybrid systems, and thus provide a...
متن کامل